package cn.edu.nju.ws.sview.reasoning.provenance;

import java.util.ArrayList;

import cn.edu.nju.ws.sview.reasoning.GroundAtom;
import cn.edu.nju.ws.sview.reasoning.Rule;

/**
 *reasoning provenance <rule,factsList>
 * 
 * @author Gong Cheng
 * 
 */
public class FromReasoning extends Provenance {
	private Rule rule = null;
	private ArrayList<GroundAtom> groundAtoms = null;

	public FromReasoning(Rule rule, ArrayList<GroundAtom> groundAtoms) {
		this.rule = rule;
		this.groundAtoms = groundAtoms;
	}

	/**
	 * 
	 * @return rule in provenance
	 */
	public Rule getRule() {
		return this.rule;
	}

	/**
	 * 
	 * @return ground atom in provenance
	 */
	public ArrayList<GroundAtom> getGroundAtoms() {
		return this.groundAtoms;
	}
}